-
1 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
2 predicate logic-based language
Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатовУниверсальный англо-русский словарь > predicate logic-based language
-
3 predicate logic language
Большой англо-русский и русско-английский словарь > predicate logic language
-
4 predicate logic-based language
Большой англо-русский и русско-английский словарь > predicate logic-based language
-
5 rational
прил.1) общ. разумный, рациональный, целесообразный (основанный на логике, а не эмоциях или традициях)Syn:intellectual 2.Ant:See:2)а) общ. разумный, мыслительный, мыслящийrational creature [being\] — разумное существо
б) общ. осознанный (о действии, которое осуществляется специально, а не случайно, бессознательно и т. п.)See:3) мет. рациональный (в общественных науках: характеристика поведения, при котором выбор делается на основе всей имеющейся информации, с учетом всех возможных альтернатив)See: -
6 logic-driven
Программирование: основанный на логике -
7 predicate logic language
Англо-русский словарь по машиностроению > predicate logic language
-
8 predicate logic language
язык, основанный на логике предикатов ( как функций нескольких переменных)English-Russian dictionary of mechanical engineering and automation > predicate logic language
-
9 predicate logic(-based) language
язык (программирования), основанный на логике предикатовEnglish-Russian dictionary of computer science and programming > predicate logic(-based) language
-
10 predicate logic(-based) language
язык (программирования), основанный на логике предикатовEnglish-Russian dictionary of computer science and programming > predicate logic(-based) language
-
11 predicate logic language
язык, основанный на логике предикатов
Англо-русский словарь по робототехнике > predicate logic language
-
12 predicate logic language
descriptive language — дексриптивный язык; описательный язык
-
13 predicate logic language
English-Russian big polytechnic dictionary > predicate logic language
-
14 bilogical
Вычислительная техника: билогический (основанный на бинарной логике), биологический (основанный на бинарной логике) -
15 a priori
1. прил.1) лат., мет априорный, гипотетический, предположительный, теоретический (сформулированный исходя из аксиоматических теоретических положений, а не на основе опыта; сформулированный до эксперимента)a priori knowledge — априорное [теоретическое\] знание
This datum could not in general be obtained a priori, but only as a result of the higgling of the market. — Эта информация, как правило, не может быть получена априорным путем, а является результатом рыночных торгов.
2) общ. предварительный (имеющий место до какого-л. события)Ant:See:2. нареч.лат., мет. априори, заранее, до опытаAnt:See:
* * *
"априори": "от первоначального", "заранее", "до опыта" (лат.); основанный на заранее принятом определении, логике или субъективном мнении, а не на фактических данных, т. е. без анализа или исследования. -
16 arbitrary
прил.1) общ. произвольный, случайныйSyn:2) пол., упр. самоуправный, основанный на произволе (о политических или управленческих решениях, которые основаны не на логике или правилах, а на личных пристрастиях и желаниях)arbitrary act — самоуправное действие, акт произвола
Syn: -
17 conceptual
[kən'septʃʊəl]1) Общая лексика: концептуальный, понятийный, разработка концепции, схематический, умозрительный2) Компьютерная техника: принципиальный3) Техника: на понятийном уровне4) Математика: воображаемый, дающий основную идею, мысленный, основанный на умозаключениях, смысловой, содержательный (о логике)5) Авиационная медицина: относящийся к восприятию, сенсорный -
18 fuzzy method
нечёткий метод, основанный на нечёткой логике метод -
19 fuzzy method
нечёткий метод, основанный на нечёткой логике методThe New English-Russian Dictionary of Radio-electronics > fuzzy method
-
20 bilogical
English-Russian dictionary of computer science and programming > bilogical
- 1
- 2
См. также в других словарях:
Конструктивный прием — – вид семантических отношений между основными смысловыми элементами логического единства, выступающий как средство стилистической выразительности и соответствующий определенной структурно смысловой целостности дискурса. Конструктивные приемы, так … Стилистический энциклопедический словарь русского языка
Психологический портрет серийного убийцы (США) — ППП является действенным средством идентификации преступников, совершивших серию убийств. Так, в структуре ФБР действует Аналитическое подразделение по уголовным расследованиям, специалисты которого составляют ППП. Каждый из сотрудников этого… … Энциклопедия современной юридической психологии
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики
Университет — (от лат. universitas совокупность). В настоящее время с понятием У. соединяют представление о высшем учебном заведении, которое, имея целью свободное преподавание и развитие всех отраслей науки (universitas litterarum), независимо от их… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… … Словарь иностранных слов русского языка
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ДИАЛЕКТИКА — (от греч. dialektike (techne) искусство вести беседу, спор) филос. теория, утверждающая внутреннюю противоречивость всего существующего и мыслимого и считающая эту противоречивость основным или даже единственным источником всякого движения и… … Философская энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
УНИВЕРСАЛИИ — (от лат. universalis общий) общие понятия. В филос. проблеме онтологического и гносеологического статуса У. ставится вопрос о том, что такое реальное бытие, каким образом существует идеальное, как возможно рациональное понятийное познание, как… … Философская энциклопедия